design a dfa that accepts the strings ending with 3 consecutive 0's